From: Florian Müllner <fmuellner@gnome.org>
Date: Wed, 16 Mar 2011 18:08:59 +0000 (+0100)
Subject: panel: Hide spinner when switching apps
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8608
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=b7be4df603aab97086696f8b1dc0e5744275679d;p=gnome-shell.git

panel: Hide spinner when switching apps

Commit fcfd17e was overzealous when simplifying the previous spinner
animation, as a result the spinner now stays around when switching
to another application while the animation is ongoing.
---

diff --git a/js/ui/panel.js b/js/ui/panel.js
index d606fd741..c064245af 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -501,6 +501,7 @@ AppMenuButton.prototype = {
             return;
         }
 
+        this._spinner.actor.hide();
         if (this._iconBox.child != null)
             this._iconBox.child.destroy();
         this._iconBox.hide();